OO Model based programming of PLCs
نویسندگان
چکیده
In usual software engineering approaches, object oriented modeling with the UML is meanwhile state of the art. In this area, object orientation has been extremely beneficial: object oriented modeling allows to structure the application data in a way that eases maintenance and that allows to distribute the responsibility for certain functionality among the participating objects or components. Finally, object oriented techniques enable the use of modern design pattern that further improve flexibility and maintainability.
منابع مشابه
Verification of Plc Programs Using Formal Proof Techniques
The application of Programmable Logic Controllers (PLCs) in safety critical systems demands a failure free behavior considering all possible scenarios. Due to the cost of software development a user program is often in use on different types of PLCs. But one open question is: Behaves the user program equivalent on all PLCs? We propose a framework suitable to prove the equivalence of a user prog...
متن کاملImplementation of an Object Oriented Track Reconstruction Model into Multiple LHC Experiments
An Object Oriented (OO) model for track reconstruction by the Kalman filtering method has been designed for high energy physics experiments at high luminosity hadron colliders. The model has been coded in the C++ programming language and has been successfully implemented into the OO computing environments of both the CMS and ATLAS experiments at the future Large Hadron Collider (LHC) at CERN. W...
متن کاملA Multimedia Programming Model Based on Timed Concurrent Constraint Programming
We propose the development of multimedia programming frameworks based on the declarative logic programming setting and in particular the framework of object-oriented timed concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanisms that have been ...
متن کاملDynamic and Multiple Classification January 1992
Object-oriented analysis should not model reality—rather it should model the way reality is understood by people. The understanding and knowledge of people is the essential component in developing systems. Therefore, OO analysis should not be based on any implementation technology—including OO software implementation. As Brad Cox [Cox, 1990] so eloquently expressed it, “‘object-oriented’ refers...
متن کاملA distributed object calculus
Distributed object-oriented languages are becoming increasingly accepted as network programming languages. The success of Java, and the Java security model in particular, has made the study of type systems for OO languages critical to the success of distributed programming. Abadi and Cardelli [1] have provided an excellent framework for the study of object-based OO languages in the object calcu...
متن کامل